Randomized Greedy Inference for Joint Segmentation, POS Tagging and Dependency Parsing Yuan Zhang, Chengtao Li, Regina Barzilay Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technolog

Source URL: people.csail.mit.edu

Feature-based Pronunciation Modeling for Speech Recognition Karen Livescu and James Glass MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139, USA {klivescu, glass}@csail.mit.edu

Source URL: ttic.uchicago.edu

TCP ex Machina: Computer-Generated Congestion Control Keith Winstein and Hari Balakrishnan MIT Computer Science and Artificial Intelligence Laboratory http://web.mit.edu/remy

Source URL: conferences.sigcomm.org

One-Dimensional Staged Self-Assembly Erik D. Demaine1 , Sarah Eisenstat1 , Mashhood Ishaque2 , and Andrew Winslow2 1 MIT Computer Science and Artificial Intelligence Laboratory,

Source URL: www.eecs.tufts.edu

• Formal languages
• Mathematics
• Combinatorics
• Computing
• Context-free grammar
• Formal grammar
• Terminal and nonterminal symbols
• Binary tree
• String
• Time complexity

One-Dimensional Staged Self-Assembly Erik D. Demaine1 , Sarah Eisenstat1 , Mashhood Ishaque2 , and Andrew Winslow2 1 MIT Computer Science and Artificial Intelligence Laboratory,

Source URL: www.eecs.tufts.edu

• Formal languages
• Context-free grammar
• Formal grammar
• Adhesive
• Terminal and nonterminal symbols
• Production
• String

From Natural Language Specifications to Program Input Parsers Tao Lei, Fan Long, Regina Barzilay, and Martin Rinard Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {taolei,

Source URL: people.csail.mit.edu

On the Approximability of Some Network Design Problems JULIA CHUZHOY Computer Science and Artificial Intelligence Laboratory, MIT and Deptartment of Computer and Information Science, University of Pennsylvania ANUPAM GUP

Source URL: ttic.uchicago.edu

Arpeggio: Metadata Searching and Content Sharing with Chord Austin T. Clements, Dan R. K. Ports, David R. Karger ∗ MIT Computer Science and Artificial Intelligence Laboratory {aclements, drkp, karger}@mit.edu January

Source URL: iptps05.cs.cornell.edu

Implications of a Data Structure Consistency Checking System Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Cambridge, MA 02139, USA

Source URL: vstte.ethz.ch

Lossless Fault-Tolerant Data Structures with Additive Overhead Paul Christiano, Erik D. Demaine? , and Shaunak Kishore MIT Computer Science and Artificial Intelligence Laboratory, 32 Vassar St., Cambridge, MA 02139, USA,

Source URL: erikdemaine.org